79 research outputs found

    Symbolic Trajectory Description in Mobile Robotics

    Get PDF

    An Embedded Gait Analysis System for CNS Injury Patients

    Get PDF
    Clinical evaluation of CNS injury patients before and after treatment is an essential step in gait rehabilitation. Medical care of gait disturbance for stroke patients is based on different treatments based on clinical and functional evaluations. Evaluation of gait aims at characterizing the motor performance to provide clinicians with information on the patient’s organizational or performance status and to allow them to consider the most appropriate treatment options. A 3D instrumented gait analysis system allows quantification of several parameters at each instant of walking but does not represent gait in daily life conditions. The absence of devices usable in daily life situation constitutes a lack pointed out by clinical practitioners and is at the origin of this work. In the following are described the design and implementation of a wireless embedded system for the collection of spatiotemporal parameters of pathological gait in everyday life. Algorithms estimate joint angles, step length, and gait events and automatically partition data into gait cycles. Experiments have been carried out to accurately evaluate the joint angles, the precision of sensor synchronization, the precision of gait event detection, and the robustness in the case of pathological walk. Comparisons with references given by the 3D instrumented gait analysis system are detailed

    Faster linearizability checking via PP-compositionality

    Full text link
    Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects) are linearizable. This paper presents PP-compositionality, which generalizes the idea behind the locality principle to operations on the same concurrent data type. We implement PP-compositionality in a novel linearizability checker. Our experiments with over nine implementations of concurrent sets, including Intel's TBB library, show that our linearizability checker is one order of magnitude faster and/or more space efficient than the state-of-the-art algorithm.Comment: 15 pages, 2 figure

    Modeling Trap-Awareness and Related Phenomena in Capture-Recapture Studies

    Get PDF
    Trap-awareness and related phenomena whereby successive capture events are not independent is a feature of the majority of capture-recapture studies. This phenomenon was up to now difficult to incorporate in open population models and most authors have chosen to neglect it although this may have damaging consequences. Focusing on the situation where animals exhibit a trap response at the occasion immediately following one where they have been trapped but revert to their original naïve state if they are missed once, we show that trap-dependence is more naturally viewed as a state transition and is amenable to the current models of capture-recapture. This approach has the potential to accommodate lasting or progressively waning trap effects

    Open and laparoscopic living donor nephrectomy in Switzerland: a retrospective assessment of clinical outcomes and the motivation to donate

    Get PDF
    Background. Laparoscopic living kidney nephrectomy is thought to be associated with reduced morbidity, when compared to open nephrectomy. The purpose of this study was to explore the impact of these techniques on donors' clinical outcomes, satisfaction and motivation to donate. Methods. Clinical outcomes were retrospectively compared in 152 open (n = 71) or laparoscopic (n = 81) donor procedures. Donor satisfaction and motivation were assessed with a self-administered questionnaire. Results. The complication rate was the same with both procedures and the majority of complications were mild. Laparoscopy was significantly less painful and resulted in an insignificantly faster return to active life. More than 80% of the donors volunteered to donate without pressure. Worries about future health status, pain or scars were not important in the decision to donate. Similarly, only 15% considered the surgical procedure as instrumental for their decision. Few donors currently worried about their health with one kidney and more than 95% of the donors in both groups stated that they would give their kidney again. Conclusions. Living donor nephrectomy is safe, regardless of the procedure used. Although the laparoscopic nephrectomy offers clear short-term benefits over the open nephrectomy, donors' satisfaction was excellent with both surgical approaches. Moreover, the type of procedure did not seem to influence their decision to donat

    Spread of Avian Influenza Viruses by Common Teal (Anas crecca) in Europe

    Get PDF
    Since the recent spread of highly pathogenic (HP) H5N1 subtypes, avian influenza virus (AIV) dispersal has become an increasing focus of research. As for any other bird-borne pathogen, dispersal of these viruses is related to local and migratory movements of their hosts. In this study, we investigated potential AIV spread by Common Teal (Anas crecca) from the Camargue area, in the South of France, across Europe. Based on bird-ring recoveries, local duck population sizes and prevalence of infection with these viruses, we built an individual-based spatially explicit model describing bird movements, both locally (between wintering areas) and at the flyway scale. We investigated the effects of viral excretion duration and inactivation rate in water by simulating AIV spread with varying values for these two parameters. The results indicate that an efficient AIV dispersal in space is possible only for excretion durations longer than 7 days. Virus inactivation rate in the environment appears as a key parameter in the model because it allows local persistence of AIV over several months, the interval between two migratory periods. Virus persistence in water thus represents an important component of contamination risk as ducks migrate along their flyway. Based on the present modelling exercise, we also argue that HP H5N1 AIV is unlikely to be efficiently spread by Common Teal dispersal only

    A MAP6-Related Protein Is Present in Protozoa and Is Involved in Flagellum Motility

    Get PDF
    In vertebrates the microtubule-associated proteins MAP6 and MAP6d1 stabilize cold-resistant microtubules. Cilia and flagella have cold-stable microtubules but MAP6 proteins have not been identified in these organelles. Here, we describe TbSAXO as the first MAP6-related protein to be identified in a protozoan, Trypanosoma brucei. Using a heterologous expression system, we show that TbSAXO is a microtubule stabilizing protein. Furthermore we identify the domains of the protein responsible for microtubule binding and stabilizing and show that they share homologies with the microtubule-stabilizing Mn domains of the MAP6 proteins. We demonstrate, in the flagellated parasite, that TbSAXO is an axonemal protein that plays a role in flagellum motility. Lastly we provide evidence that TbSAXO belongs to a group of MAP6-related proteins (SAXO proteins) present only in ciliated or flagellated organisms ranging from protozoa to mammals. We discuss the potential roles of the SAXO proteins in cilia and flagella function

    A framework for a multi-robot assistance system

    No full text
    Abstract — This work aims at modeling a system which allows a user and more particulary a disabled person, to give a mission to a team of robots and to determine the whole process leading to its execution. This paper proposes a participative model to set up this system. We separate the actor: active element subjected to the stimulus (the user and its request, for example), the objective form: object designed in the mind of the actor, the object: element satisfying and corresponding to the satisfaction of the stimulus. In agreement with this model, the system is based on a several levels diagram for a design directed towards a multi-agents system. In this paper, we mainly describe the four stages of the mechanism which lead to the trajectory determination of the robots group. These steps use a Voronoï’s generalized graph and a wave front algorithm. The computation of the configuration space for a robot group and an adaptation of the group trajectory allow the group to be formed and reach the final position. I
    • …
    corecore